<HTML><HEAD><TITLE>integers(?Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(suspend)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>integers(?Vars)</H1>
Constrain Vars to be integers
<DL>
<DT><EM>Vars</EM></DT>
<DD>List of variables or integers
</DD>
</DL>
<H2>Description</H2>
    This constraint suspends until its argument is ground. It then succeeds
    iff Vars is an integer or a list of integers.
<H3>Fail Conditions</H3>
Vars contains non-integers.
<H2>See Also</H2>
<A HREF="../../lib/suspend/NN-2.html">:: / 2</A>, <A HREF="../../lib/suspend/HNN-2.html">#:: / 2</A>, <A HREF="../../lib/suspend/reals-1.html">reals / 1</A>
</BODY></HTML>
